Denition6(semanticsandinferenceproblems)givenaninterpretationi=(i published presentations and documents on DocSlides.
